1.2.2.9. alpha.core.PointerSub (C)
Check for pointer subtractions on two pointers pointing to different memory chunks.

Examples:

void test() {
  int x, y;
  int d = &y - &x; // warn
}